body {
	margin: 0;
	background: black;
	font-family: "Courier New", Courier, monoespace;
	color: #080;
}

pre {
	background: #242;
	color: #9e9;
	border: #9e9 dashed 1px;
	margin: 6px;
	padding: 6px;
	white-space: pre-wrap;
}

.permalink {
	text-decoration: none;
	float: right;
	margin-left: 12px;
}

.date {
	float: right;
	color: #050;
}

.bar {
	padding: 4px;
	background: #080;
	color: black;
	font-size: 1em;
	font-weight: bold;
	border-bottom: 4px solid rgba(0,0,0,0.2);
}

.page {
	padding: 6px;
	width: 800px;
	margin: auto auto;
}

.post {
	background: rgba(0,0,0,0.4);
}

.content {
	background: black;
	margin: 0px;
	padding: 2em;
	padding-top: 0;
	padding-bottom: 0;
}

.space {
	width: 100%;
	height: 60px;
}

.title {
	padding: 2px;
	text-align: left;
	font-weight: bold;
	font-size: 1em;
	margin-bottom: 12px;
	color: black;
	background: #080;
}

a {
	font-weight: bold;
	color: #90ee90;
}

hr {
	border: 1px solid #080;
}

.terminal-container {
	position: relative;
	padding: 0;
	margin: 0;
}

.terminal {
	background: black;
	cursor: default;
}

.terminal-bar {
	height: 32px;
	color: black;
	background: white;
	position: absolute;
	bottom: 0;
	left: 6px;
	right: 6px;
}

.terminal-play {
	position: absolute;
	left: 2px;
	top: 2px;
	width: 32px;
	height: 32px;
	cursor: pointer;
	background: url(../img/play.png);
	background-size: 28px 28px;
	background-repeat: no-repeat;
}

.terminal-loading {
	position: absolute;
	margin-left: -32px;
	margin-top: -32px;
	left: 50%;
	top: 50%;
	width: 64px;
	height: 64px;
	background: red;
}

.terminal-paused {
	position: absolute;
	margin-left: -32px;
	margin-top: -32px;
	left: 50%;
	top: 50%;
	width: 64px;
	height: 64px;
	background: url(../img/pause.png);
}

.terminal-timeline {
	height: 6px;
	width: 100%;
	background: #eee;
	border-top: 1px solid #bbb;
	position: absolute;
	top: 13px;
	left: 32px;
}

.terminal-pointer {
	width: 6px;
	height: 6px;
	background: #999;
	position: absolute;
	left: 0;
}
